11. PCP theorem and hardness of approximation: An introduction